Omni-directional Hyper Logic Programs in SILK and RIF
نویسندگان
چکیده
SILK is an expressive Semantic Web rule language and system equipped with scalable reactive higher-order defaults. We present two of its latest novel features. Omni rules are prioritized defeasible clauses that provide a higher-level expressive abstraction for users by making rules omni-directional. They handle multi-way conflicts. And they are soundly interoperable with FOL and W3C OWL as well as with RIF-BLD, SPARQL, and RDF. RIF-SILK is a new RIF dialect that extends RIF-BLD via RIF-FLD.
منابع مشابه
Delay Compensation on Fuzzy Trajectory Tracking Control of Omni-Directional Mobile Robots
This paper presents a delay compensator fuzzy control for trajectory tracking of omni-directional mobile robots. Fuzzy logic control (FLC) of the robots is a suitable strategy for dealing with model uncertainties, nonlinearities and disturbances. On the other hand, in many robotic applications such as mobile robots, delay phenomenon is able to substantially deteriorate the behavior of system's...
متن کاملUsing BELBIC based optimal controller for omni-directional threewheel robots model identified by LOLIMOT
In this paper, an intelligent controller is applied to control omni-directional robots motion. First, the dynamics of the three wheel robots, as a nonlinear plant with considerable uncertainties, is identified using an efficient algorithm of training, named LoLiMoT. Then, an intelligent controller based on brain emotional learning algorithm is applied to the identified model. This emotional l...
متن کاملDirect Optimal Motion Planning for Omni-directional Mobile Robots under Limitation on Velocity and Acceleration
This paper describes a low computational direct approach for optimal motion planning and obstacle avoidance of Omni-directional mobile robots within velocity and acceleration constraints on the robot motion. The main purpose of this problem is the minimization of a quadratic cost function while limitation on velocity and acceleration of robot is considered and collision with any obstacle in the...
متن کاملEffective Mechatronic Models and Methods for Implementation an Autonomous Soccer Robot
Omni directional mobile robots have been popularly employed in several applications especially in soccer player robots considered in Robocup competitions. However, Omni directional navigation system, Omni-vision system and solenoid kicking mechanism in such mobile robots have not ever been combined. This situation brings the idea of a robot with no head direction into existence, a comprehensi...
متن کاملOpportunities for Semantic Web knowledge representation to help XBRL
Semantic Web can offer XBRL: • Sophistication in knowledge representation (KR). E.g., expressiveness, nonmonotonic reasoning (conflict handling), interoperability, and performance optimization techniques. E.g., rule-based ontologies, rule-based business policies, rule-based analytics, expressive queries and views. o Key semantic rule standards today are based primarily on declarative logic prog...
متن کامل